منابع مشابه
Frege systems for extensible modal logics
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC ) are polynomially equivalent. Mints and Kojevnikov [11] have recently shown p-equivalence of Frege systems for the Intuitionistic Propositional Calculus (IPC ) in the standard language, building on a description of admissible rules of IPC by Iemhoff [8]. We prove a similar result...
متن کاملModal Logics for Reasoning about Multiagent Systems
It becomes evident in recent years a surge of interest to applications of modal logics for specification and validation of complex systems. It holds in particular for combined logics of knowledge, time and actions for reasoning about multiagent systems (Dixon, Nalon & Fisher, 2004; Fagin, Halpern, Moses & Vardi, 1995; Halpern & Vardi, 1986; Halpern, van der Meyden & Vardi, 2004; van der Hoek & ...
متن کاملModal Logics for Nominal Transition Systems
We define a uniform semantic substrate for a wide variety of process calculi where states and action labels can be from arbitrary nominal sets. A Hennessy-Milner logic for these systems is introduced, and proved adequate for bisimulation equivalence. We show how to treat different bisimulation variants such as early, late and open in a systematic way, and make substantial comparisons with relat...
متن کاملSubstitution Frege and extended Frege proof systems in non-classical logics
We investigate the substitution Frege (SF ) proof system and its relationship to extended Frege (EF ) in the context of modal and superintuitionistic (si) propositional logics. We show that EF is p-equivalent to tree-like SF , and we develop a “normal form” for SF proofs. We establish connections between SF for a logic L, and EF for certain bimodal expansions of L. We then turn attention to spe...
متن کاملModal Logics for Coalgebras
This presentation is to introduce basic notions and recent results on an approach to specify behaviors of coalgebras by means of modal logics, based on the lecture by Dirk Pattinson (Pattinson, 2003) in NASSLLI 2003.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2006
ISSN: 0168-0072
DOI: 10.1016/j.apal.2006.04.001